дизъюнкция
41Алгебра логики — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… …
42РАЗДЕЛИТЕЛЬНОЕ СУЖДЕНИЕ — дизъюнктивное суждение (от лат. disjungo – разобщаю), – сложное суждение, к рое либо (а) образовано из двух (или большего числа) др. суждений (членов Р. с.) с помощью логич. союза или (или союзов либо , или..., или , либо..., либо , подобных… …
43Булевы выражения — В теории дискретных функциональных систем булевой функцией называют функцию типа , где булево множество, а n неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют… …
44ЛОГИЧЕСКИЕ СВЯЗКИ — ЛОГИЧЕСКИЕ СВЯЗКИ символы логических языков, используемые для образования сложных высказываний (формул) из элементарных. Логическими связками называют также соответствующие этим символам союзы естественного языка. Обычно используются такие… …
45Булева логика — Не следует путать с булевой алгеброй. Алгебра логики раздел математической логики, в котором изучаются логические операции над высказываниями. Высказывания могут быть истинными и ложными. Содержание 1 Определение 2 Аксиомы 3 Логические операции …
46закон ассоциативности — (от лат. associatio соединение) общее имя для ряда логических законов, позволяющих по разному группировать высказывания, соединяемые с помощью конъюнкции ( и ), дизъюнкции ( или ) и др. Операции сложения и умножения чисел в математике… …
47закон композиции — (от лат. compositio сочинение, составление) общее название ряда логических законов, позволяющих объединять следствия определенных условных высказываний или разделять их основание. Один из этих законов можно выразить так: если верно, что если… …
48идемпотентности закон — (от лат. idempotens сохраняющий ту же степень) логический закон, позволяющий исключить повторение одного и того же высказывания. Его формулировка: повторение высказывания через и и или равносильно самому высказыванию. Напр., Марс планета и Марс… …
49логика высказываний — (Пропозициональная логика) раздел логики, формализующий употребление логических связок и , или , не , если, то и т. п., служащих для образования сложных высказываний из простых. Высказывание называется простым, если оно не включает в себя другие… …
50разделительное суждение — дизъюнктивное (от лат. disjunctio разобщаю) сложное суждение, образованное из двух или большего числа суждений с помощью логической связки или . Общая форма Р. с. имеет вид А1 v A2 v, ..., v An, где Аn суждение (член дизъюнкции, альтернатива), a… …